High Level Language Embeddings for Deterministic Concurrency

We present a concurrent programming language Cilk-5 in terms of semantics and implementation [1]. We show how it relies on both the compiler and the work stealing scheduler to produce efficient execution schedules of programs, and give a theoretical analysis of its perfomance. We then introduce the concept of dataflow programming [9] in which programs yield the same observable results regardless of a particular execution schedule. This paradigm is useful for parallel programming, since it ensures that programs exhibit identical behaviour independent of the platform they are deployed on. Finally, we describe a method for embedding domain-specific languages in host languages using the typechecker of the host language to ensure typing rules are followed [7]. This technique allows using the staged representation of a program to compile it to different languages depending on the target platform.